theorem-proving system
[计] 定理证明系统
热门查询
- aaah abbr. American Association for the Advancement of the Humanities 美国人权促进会
- Arrowsmith [人名] [英格兰人姓氏] 阿罗史密斯职业名称，制造铁箭头者，来源于古英语，含义是“箭+铁匠”(arrow+smith); [地名] [美国] 阿罗史密斯
- continuously adv. 连续不断地
- aron [人名] 阿伦; [地名] [法国、印度] 阿龙; [地名] [法国] 阿龙河
- Tinto <西>染色葡萄
- prowler n. 徘徊者；小偷
- shutter n. 快门；百叶窗；关闭物；遮板 vt. 为…装百叶窗；以百叶窗遮闭
- astrophysical adj. 天体物理学的
- seconds n. 次级品，二等品
- lay vt. 躺下；产卵；搁放；放置；铺放；涂，敷 adj. 世俗的；外行的；没有经验的 n. 位置；短诗；花纹方向；叙事诗；性伙伴 vi. 下蛋；打赌 v. 躺；位于（lie的过去式）
- Inglis [人名] [英格兰人姓氏] 英格利斯 English的变体; [地名] [加拿大] 英格利斯
- redefinition n. 重新定义
- hush vt. 安静；肃静；缄默 n. 安静；肃静；沉默 vi. 沉默；安静下来 int. 嘘；别作声
- panhandling n. 平锅柄；（美）柄状的狭长区域 vt. 向…乞讨；乞得 vi. 行乞
- screamingly adv. 尖叫地；令人惊愕地
- sweater n. 毛线衣，运动衫；大量出汗的人，发汗剂
- boonies n. 郊区；远离城市的原野
- homocysteine n. [生化] 同型半胱氨酸；高半胱氨酸；巯基丁氨酸
- commissary n. 代表；杂货店；军粮供应；（美）食堂
- divvy n. 部分；分配 vt. 分摊 vi. 分摊
